Description Logics and Planning

Possibilistic Planning Using Description Logics: A First Step

This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description logics. Fuzzy description logics are used to describe knowledge about the world and about actions. Fundamental definitions are given and the possibilistic planning problem is recast in this new setting.

Plan Representation and Reasoning with Description Logics

Planning problems are naturally knowledge rich. Yet, most planning research to date has focused on languages and algorithms to represent and search through the decision space in order to generate a feasible solution. This paper surveys previous work on extending planning algorithms with expressive representations of knowledge, in particular description logics, to reasoning about action, plan, a...

Design of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding

Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...

Planning and Change in Graph Structured Data under Description Logics Constraints

Planning in Action Formalisms based on DLs: First Results

In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We prove that the plan existence problem is decidable for actions described in fragments of ALCQIO. More precisely, we show that its computational complexity coincides with the one of projection for DLs between ALC and ALCQIO.